$\forall$${\it the\_w}$:World, $l$:IdLnk, ${\it mss}$:(Msg List). onlnk($l$;${\it mss}$) $\in$ (\{$m$:Msg$\mid$ mlnk($m$) = $l$\}  List)